机译:基于抽象解释的软件胎记语义框架
机译:基于抽象解释的ftware水印框架
机译:控制硫族化物阴离子在离子液体中的组装:从二元Ge / Se到三元Ge / Sn / Se到二元Sn / Se骨架
机译:一种基于抽象解释的二进制控制流重构框架
机译:信任,转换和控制流程:验证源和二进制控制流量等的图形 - 理论方法
机译:摘要:12.00两阶段植入物为基础的乳房重建术比即时一阶段植入物为基础的乳房重建术以无细胞真皮基质增强安全性更高:多中心随机对照试验
机译:基于抽象解释的二进制控制流重构框架
机译:EUROmECH学术讨论会377.具有强烈温度或密度梯度的剪切流的稳定性和控制。摘要书